void do_tests()
{
	dumpallobj();
	dumpallobj("/OBJ_DUMP2");
}
